Code coverage of adaptive random testing

Random testing is a basic software testing technique that can be used to assess the software reliability as well as to detect software failures. Adaptive random testing has been proposed to enhance the failure-detection capability of random testing. Previous studies have shown that adaptive random testing can use fewer test cases than random testing to detect the first software failure. In this paper, we evaluate and compare the performance of adaptive random testing and random testing from another perspective, that of code coverage. As shown in various investigations, a higher code coverage not only brings a higher failure-detection capability, but also improves the effectiveness of software reliability estimation. We conduct a series of experiments based on two categories of code coverage criteria: structure-based coverage, and fault-based coverage. Adaptive random testing can achieve higher code coverage than random testing with the same number of test cases. Our experimental results imply that, in addition to having a better failure-detection capability than random testing, adaptive random testing also delivers a higher effectiveness in assessing software reliability, and a higher confidence in the reliability of the software under test even when no failure is detected

An assessment of systems and software engineering scholars and institutions (2002-2006)

This paper summarizes a survey of publications in the field of systems and software engineering from 2002 to 2006. The survey is an ongoing, annual event that identifies the top 15 scholars and institutions over a 5-year period. The rankings are calculated based on the number of papers published in TSE, TOSEM, JSS, SPE, EMSE, IST, and Software. The top-ranked institution is Korea Advanced Institute of Science and Technology, Korea, and the top-ranked scholar is Magne Jørgensen of Simula Research Laboratory, Norway. © 2009 Elsevier Inc. All rights reserved.postprin

An assessment of systems and software engineering scholars and institutions (2001-2005)

This paper presents the findings of a five-year study of the top scholars and institutions in the systems and software engineering field, as measured by the quantity of papers published in the journals of the field in 2001-2005. The top scholar is Magne Jørgensen of Simula Research Laboratory, Norway, and the top institution is Korea Advanced Institute of Science and Technology, Korea. This paper is part of an ongoing study, conducted annually, that identifies the top 15 scholars and institutions in the most recent five-year period. © 2007 Elsevier Inc. All rights reserved.postprin

The Real Combination Problem : Panpsychism, Micro-Subjects, and Emergence

Panpsychism harbors an unresolved tension, the seriousness of which has yet to be fully appreciated. I capture this tension as a dilemma, and offer panpsychists advice on how to resolve it. The dilemma, briefly, is as follows. Panpsychists are committed to the perspicuous explanation of macro-mentality in terms of micro-mentality. But panpsychists take the micro-material realm to feature not just mental properties, but also micro-subjects to whom these properties belong. Yet it is impossible to explain the constitution of a macro-subject (like one of us) in terms of the assembly of micro-subjects, for, I show, subjects cannot combine. Therefore the panpsychist explanatory project is derailed by the insistence that the world’s ultimate material constituents (ultimates) are subjects of experience. The panpsychist faces a choice of abandoning her explanatory project, or recanting the claim that the ultimates are subjects. This is the dilemma. I argue that the latter option is to be preferred. This needn’t constitute a wholesale abandonment of panpsychism, however, since panpsychists can maintain that the ultimates possess phenomenal qualities, despite not being subjects of those qualities. This proposal requires us to make sense of phenomenal qualities existing independently of experiencing subjects, a challenge I tackle in the penultimate section. The position eventually reached is a form of neutral monism, so another way to express the overall argument is to say that, keeping true to their philosophical motivations, panpsychists should really be neutral monists.Peer reviewedFinal Accepted Versio

Message from the IWPD 2014 workshop organizers

postprin

Nutrition aspects in children receiving maintenance hemodialysis: impact on outcome

Children with end-stage renal disease (ESRD) have rates of mortality estimated to be 30-times higher than expected for age compared with those of healthy children. Physical manifestations of under-nutrition, such as body mass index (BMI) and low height standard deviation score (SDS), have been associated with increased risk of mortality. Traditional measures, such as height, weight and serum albumin concentration, may not be accurate indicators to assess the nutritional status of children receiving maintenance hemodialysis. Normalized protein catabolic rate (nPCR) has emerged as a better marker of nutritional status of such children. Meeting the special nutritional needs of these children often requires nutritional supplementation, by either the enteral or the parenteral route. Recently, in children receiving maintenance hemodialysis who are malnourished, intradialytic parenteral nutrition (IDPN) has been utilized as a means to provide additional protein and calories. This article is a state-of-the-art review of malnutrition in children receiving maintenance hemodialysis, with special focus on outcome, nPCR and IDPN

Effect of bleaching using sodium hydroxide on pulp derived from Sesbania grandiflora

World demand for paper is increasing. Short rotation pulpwood is needed. Sesbania grandiflora also known as Turi, is a fast growing and straight log species. The scholarly information of Turi as pulpwood are still limited. This paper aims to provide information of sodium hydroxide effect on the paper made from pulp derived from Turi. Sodium hydroxide is a common chemical using as part of full stage chemical bleaching in pulp industrial. Kraft pulp that produced using Turi, was bleached with sodium hydroxide at 3%, 6% and 9% based on pulp weight, respectively. Unbleached pulp was served as blank test. The optical and mechanical properties of handsheet paper made from bleached kraft pulp were evaluated according to TAPPI standard. The brightness and opacity of handsheet made from bleached pulp were improved with increasing the concentration of sodium hydroxide. The mechanical properties of handsheet were improved with using 3% sodium hydroxide and gradually decreased after 3% sodium hydroxide. In conclusion, sodium hydroxide is potential to improve optical properties of Turi pulp and improve the mechanical properties of paper made from Turi pulp at certain level. Excessive usage of sodium hydroxide brings adverse effect to mechanical properties of paper made from Turi pulp

LNCS

Static program analyzers are increasingly effective in checking correctness properties of programs and reporting any errors found, often in the form of error traces. However, developers still spend a significant amount of time on debugging. This involves processing long error traces in an effort to localize a bug to a relatively small part of the program and to identify its cause. In this paper, we present a technique for automated fault localization that, given a program and an error trace, efficiently narrows down the cause of the error to a few statements. These statements are then ranked in terms of their suspiciousness. Our technique relies only on the semantics of the given program and does not require any test cases or user guidance. In experiments on a set of C benchmarks, we show that our technique is effective in quickly isolating the cause of error while out-performing other state-of-the-art fault-localization techniques

Estimating body composition in adolescent sprint athletes : comparison of different methods in a 3 years longitudinal design

A recommended field method to assess body composition in adolescent sprint athletes is currently lacking. Existing methods developed for non-athletic adolescents were not longitudinally validated and do not take maturation status into account. This longitudinal study compared two field methods, i.e., a Bio Impedance Analysis (BIA) and a skinfold based equation, with underwater densitometry to track body fat percentage relative to years from age at peak height velocity in adolescent sprint athletes. In this study, adolescent sprint athletes (34 girls, 35 boys) were measured every 6 months during 3 years (age at start = 14.8 +/- 1.5yrs in girls and 14.7 +/- 1.9yrs in boys). Body fat percentage was estimated in 3 different ways: 1) using BIA with the TANITA TBF 410; 2) using a skinfold based equation; 3) using underwater densitometry which was considered as the reference method. Height for age since birth was used to estimate age at peak height velocity. Cross-sectional analyses were performed using repeated measures ANOVA and Pearson correlations between measurement methods at each occasion. Data were analyzed longitudinally using a multilevel cross-classified model with the PROC Mixed procedure. In boys, compared to underwater densitometry, the skinfold based formula revealed comparable values for body fatness during the study period whereas BIA showed a different pattern leading to an overestimation of body fatness starting from 4 years after age at peak height velocity. In girls, both the skinfold based formula and BIA overestimated body fatness across the whole range of years from peak height velocity. The skinfold based method appears to give an acceptable estimation of body composition during growth as compared to underwater densitometry in male adolescent sprinters. In girls, caution is warranted when interpreting estimations of body fatness by both BIA and a skinfold based formula since both methods tend to give an overestimation